Daniel Kroening

#	Item
21	Exploit-Generation with Acceleration Daniel Kroening, Matt Lewis, Georg Weissenbacher ● Add to Reading List Source URL: crest.cs.ucl.ac.uk Language: English - Date: 2013-06-03 11:21:47 Software bugs Type theory Void type Stack Subroutine Stack buffer overflow Computer programming Computing Software engineering
22	Abstract Satisfaction Vijay D’Silva Leopold Haller Daniel Kroening Add to Reading List Source URL: www.kroening.com Language: English - Date: 2014-05-29 09:55:04 Order theory Philosophical logic Predicate logic Deduction Formal methods Entailment Abstract interpretation First-order logic Galois connection Mathematics Logic Mathematical logic